Existential Import
نویسنده
چکیده
1 For example, A. R. Lacey, "Quantifier Words", in A. R. Lacey.vi Dictionary of Philosophy (Charles Scribner's Sons, N. Y.: 1976); Alex Orenstein, Existence and the Particular Quantifier (Temple U. Press, Philadelphia: 1978), pp. 105-07; Baruch Brody, "Glossary of Logical Terms", Encyclopedia of Philosophy, Vol. 5 (Macmillan, N. Y.: 1967), p. 64; Antony Flew, "Existential Import", in Antony Flew, A Dictionary of Philosophy (St. Martin's Press, N. Y.: 1979), p. 107; Wesley Salmon, Logic (Prentice-Hall: Englewood Cliffs, N. J.: 1973), pp. 48-49; Howard Kahane, Logic and Philosophy (Wadsworth Publishing Co., Belmont, California: 1982), pp, 167, 174-75; Robert Baum, Logic (Holt-Rienhart-Winston, N. Y.: 1981), pp. 360-61, 377; E. J. Lemmon, Beginning Logic (Hackett Publishing, Indianapolis, Indiana: 1978), pp. 175-77; Hugues Leblanc and William A.Wisdom, Deductive Logic (Allyn and Bacon, Inc., Boston: 1976), p. 163 n. 34; P. F. Strawson, Introduction to Logical Theory (Methuen and Co., London: 1952), pp, 164-69; Morris R. Cohen and Ernest Nagel, An Introduction to Logic and Scientific Method (Harcourt, Brace and Company, N. Y.: 1934), pp. 41-44; Irving Copi, Introduction to Logic (Macmillan, N. Y.: 1978), pp. 187-89.
منابع مشابه
Existential Import in Cartesian Semantics
The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes’ truthconditions for eternal truths, which lack existential import, to all knowledge, allowing only for...
متن کاملSyllogistics = Monotonicity + Symmetry + Existential Import
Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while ...
متن کاملScalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language
189
متن کاملWhat Does It Mean for an Indefinite to Be Presuppositional?
The paper is concerned with the nature of the presuppositionality involved in “strong” (or presuppositional) indefinite noun phrases in general, and Turkish accusative marked indefinites in particular. It investigates the semantics of Turkish accusative indefinites with regards to the categories of existential import, contextual restrictedness (or D-linking) and semantic scope, within the DRT-b...
متن کاملGraal: A Toolkit for Query Answering with Existential Rules
This paper presents Graal, a java toolkit dedicated to ontological query answering in the framework of existential rules. We consider knowledge bases composed of data and an ontology expressed by existential rules. The main features of Graal are the following: a basic layer that provides generic interfaces to store and query various kinds of data, forward chaining and query rewriting algorithms...
متن کاملProving Existential Theorems when Importing Results from MDG to HOL
An existential theorem, for the specification or implementation of hardware, states that for any inputs there must exist at least one output which is consistent with it. It is proved to prevent an inconsistent model being produced and it is required to formally import the verification result from one verification system to another system. In this paper, we investigate the verification of the ex...
متن کامل